3 Basic complexity theory (BAPLaCT)